projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23791cf) | patch
Enhance type inference constraining function arguments
authorAndrea Corallo <akrl@sdf.org>
Tue, 15 Dec 2020 22:53:29 +0000 (23:53 +0100)
committerAndrea Corallo <akrl@sdf.org>
Mon, 21 Dec 2020 19:22:03 +0000 (20:22 +0100)
commit07b75deea9febd2cb6fd4d3467e909df341e96fb
tree4059a350554164e34a28b72d645eaec49b34f51ftree | snapshot
parent23791cf74da9c2e6369f2c15ef180ef2a8c21656commit | diff
Enhance type inference constraining function arguments

* lisp/emacs-lisp/comp.el: Add some commentary.
(comp-cond-cstrs-target-mvar): Rename and update docstring.
(comp-add-cond-cstrs): Update to use
`comp-cond-cstrs-target-mvar'.
(comp-emit-call-cstr, comp-lambda-list-gen, comp-add-call-cstr):
New functions.
(comp-add-cstrs): Call `comp-add-call-cstr'.
* test/src/comp-tests.el (comp-tests-type-spec-tests): Update two
type specifier tests.
lisp/emacs-lisp/comp.el diff | blob | history
test/src/comp-tests.el diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.